\chapter{Debug Module for External Debug Support}
The debug module in \pulpissimo is compliant with the RISC-V External Debug
Support specification $v1.13.1$. For more details please take a look at the
documentation in the debug module folder and consult the RISC-V External Debug
Support specification.


